Experience with Abstraction-carrying Code
نویسندگان
چکیده
منابع مشابه
Abstraction-Carrying Code
ion-Carrying Code Elvira Albert, Germán Puebla, and Manuel Hermenegildo 1 DSIP, Universidad Complutense Madrid 2 Facultad de Informática, Technical University of Madrid 3 Depts. of Comp. Sci. and El. and Comp. Eng., U. of New Mexico Abstract. Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The practical uptake ...
متن کاملAn Incremental Approach to Abstraction-Carrying Code
ion-Carrying Code? Elvira Albert, Puri Arenas, and Germán Puebla 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es 2 Technical University of Madrid, [email protected] Abstract. Abstraction-Carrying Code (ACC) has recently been proAbstraction-Carrying Code (ACC) has recently been proposed as a framework for Proof-Carrying Code (PCC) in which the code supplier provides a program togethe...
متن کاملCertificate size reduction in abstraction-carrying code
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixpoint ana...
متن کاملSome Issues on Incremental Abstraction-Carrying Code
ion-Carrying Code Elvira Albert, Puri Arenas, and Germán Puebla 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es 2 Technical University of Madrid, [email protected] Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code supplier provides a program together with an abstraction (or abstract model of the progra...
متن کاملReduced Certificates for Abstraction-Carrying Code
ion-Carrying Code ? Elvira Albert, Puri Arenas, Germán Puebla, and Manuel Hermenegildo 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es 2 Technical University of Madrid, {german,herme}@fi.upm.es 3 University of New Mexico, [email protected] Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80005-2